The Protege OWL Experience
نویسندگان
چکیده
Protégé is one of the most widely used development platforms for ontology-based systems. We report on our experiences with the development of OWL support for Protégé, and on the experiences of our user community with OWL. While the overall feedback from the community has been positive, our experience suggests that there are considerable gaps between the user requirements, the expressivity of OWL, and users’ understanding of OWL. In this document we walk through a selection of these issues and suggest directions for future work and standardization efforts.
منابع مشابه
Modeling OWL with Rules: The ROWL Protege Plugin
In our experience, some ontology users find it much easier to convey logical statements using rules rather than OWL (or description logic) axioms. Based on recent theoretical developments on transformations between rules and description logics, we develop ROWL, a Protégé plugin that allows users to enter OWL axioms by way of rules; the plugin then automatically converts these rules into OWL DL ...
متن کاملThe Benefits of Incremental Reasoning in OWL EL
This demo will present the advantages of the new, bookkeeping-free method for incremental reasoning in OWL EL on incremental classification of large ontologies. In particular, we will show how the typical experience of a user editing a large ontology can be improved if the reasoner (or ontology IDE) provides the capability of instantaneously re-classifying the ontology in the background mode wh...
متن کاملSupporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++
This paper describes integrated tools support for OWL 1.1 in the form of the FaCT++ Description Logic reasoner and the ProtégéOWL ontology editor. Challenges of designing and implementing OWL 1.1 reasoning algorithms are highlighted, and an outline of an OWL 1.1 API and editing environment is provided.
متن کاملTowards Reusable Explanation Services in Protege
We present several extensions of the explanation facility of the ontology editor Protege. Currently, explanations of OWL entailments in Protege are provided as justifications—minimal subsets of axioms that entail the given axiom. The plugin called ‘explanation workbench’ computes justifications using a black-box algorithm and displays them in a convenient way. Recently, several other (mostly gl...
متن کاملPushing the Limits of OWL, Rules and Protege. A Simple Example
The Semantic Web brings powerful languages for creating models, based on Description Logics and Rules. These languages are used within ontology engineering tools and applied in strong and efficient reasoners. Working within the context of a Summer School, we explored these technologies by creating a small and easy to understand example, working firstly with OWL alone, and introducing SWRL rules...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005